Section: New Results

Interactive Run-Time Verification - When Interactive Debugging Meets Run-Time Verification

Participants : Raphael Jakse, Yliès Falcone, Kevin Pouget, Jean-Francois Mehaut.

Run-Time Verification consists in studying a system at run-time, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging consists in studying a system at run-time in order to discover and understand its bugs and fix them, inspecting interactively its internal state. Interactive Run-Time Verification (i-RV) combines run-time verification and interactive debugging. We define an efficient and convenient way to check behavioral properties automatically on a program using a debugger. We aim at helping bug discovery and understanding by guiding classical interactive debugging techniques using run-time verification.

This work has been presented at the IEEE 28th International Symposium on Software Reliability Engineering, ISSRE 2017 [15]. It is also a part of the Nano2017 DEMA project 7.2 with STMicroelectronics.